R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·1d
🧮SMT Solvers
Graphzep -TypeScript implementation of temporal knowledge graph memory system
github.com·9h·
Discuss: Hacker News
🕸️Neo4j
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·7h
⚔️Lean Theorem
Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.to·5h·
Discuss: DEV
✨Effect Handlers
Optimizing multiprecision LLL in FLINT
fredrikj.net·2d
🧮Algebraic Datatypes
Codeminer42 Dev Weekly #75
blog.codeminer42.com·13h
📏Code Metrics
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·13h
🔗Tailscale
Discrete optimization for on-call scheduling (2021)
rainforestqa.com·1d·
Discuss: Lobsters, Hacker News
🧮Compute Optimization
Cohere unveils Command A Reasoning, a model for enterprise research and workflows
the-decoder.com·16h
🎙️Whisper
CRYSTALS - The Gently Introduction
dev.to·1d·
Discuss: DEV
⚗️Algebraic Coding
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·4h·
Discuss: Hacker News
📼Tape Combinators
Lessons from AI Safety for Businesses
svana.name·21h·
Discuss: Hacker News
🌍Cultural Algorithms
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·11h
🔲Cellular Automata
Scheme Basics
courses.cs.washington.edu·18h·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Lobsters Interview with Matklad
lobste.rs·16h·
Discuss: Lobsters
🦀Rust Macros
What Claude Code gets right
minusx.ai·1d·
Discuss: Hacker News
⚡Proof Automation
When AI optimizations miss the mark: A case study in array shape calculation
questdb.com·1d·
Discuss: Hacker News, r/programming
⚡Performance Mythology
AI Code Generation: Trust and Verify, Always
thenewstack.io·16h
⚙️Proof Engineering
DeepThink3D: Enhancing Large Language Models with Programmatic Reasoning in Complex 3D Situated Reasoning Tasks
arxiv.org·1d
⚡Incremental Computation
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·5d
🔮Proof Search